rule(sendWater(Agent1,Agent2,Contaminant),
     [rule2,
      [class(Contaminant,contaminant),class(Agent2,agent),class(Contaminant,contaminant),class(Agent1,agent),at(Agent1,Contaminant),treats(Agent2,Contaminant)],
      [class(Contaminant,contaminant),class(Agent1,agent),class(Contaminant,contaminant),class(Agent1,agent),at(Agent2,Contaminant),not(at(Agent1,Contaminant))]
    ]).

rule(sendWater(Agent1,Agent2,Contaminant),
     [rule1,
      [class(Contaminant,contaminant),class(Agent2,agent),class(Contaminant,contaminant),class(Agent1,agent),at(Agent1,Contaminant),treats(Agent2,Contaminant)],
      [class(Contaminant,contaminant),class(Agent1,agent),class(Contaminant,contaminant),class(Agent1,agent),at(Agent2,Contaminant),not(at(Agent1,Contaminant))]
    ]).

predicate(treats(agent,contaminant)).
predicate(at(agent,contaminant)).

subclass(agent,thing).
subclass(water,thing).
subclass(contaminant,thing).
subclass(sitVar,thing).
